Systematic vs. Non-Systematic Search for 3D Aircraft Conflict Resolution
نویسندگان
چکیده
منابع مشابه
Systematic vs. Local Search for SAT
Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in the past. Traditionally, this problem was attacked with systematic search algorithms, but more recently, local search methods were shown to be very effective for solving large and hard SAT instances. Especially in the light of r...
متن کاملLocal Search and Backtracking vs Non-Systematic Backtracking
This paper addresses the following question: what is the essential difference between stochastic local search (LS) and systematic backtracking (BT) that gives LS superior scalability? One possibility is LS’s lack of firm commitment to any variable assignment. Three BT algorithms are modified to have this feature by introducing randomness into the choice of backtracking variable: a forward check...
متن کاملSystematic vs. Non-systematic Algorithms for Solving the MPE Task
The paper explores the power of two system atic Branch and Bound search algorithms that exploit partition-based heuristics, BBBT (a new algorithm for which the heuristic information is constructed during search and allows dy namic variable/value ordering) and its predeces sor BBMB (for which the heuristic information is pre-compiled) and compares them against a number of popular local search...
متن کاملA Variable Neighborhood Search approach for the aircraft conflict resolution problem
A metaheuristic approach based on Variable Neighborhood Search to tackle the enroute aircraft conflict resolution problem is presented. The three maneuvers (velocity, heading angle and altitude level variations) are allowed to be performed. Based on geometric rules, we can determine if a conflict situation occurs between each pair of aircraft under consideration. As three different maneuvers co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Intelligent Learning Systems and Applications
سال: 2012
ISSN: 2150-8402,2150-8410
DOI: 10.4236/jilsa.2012.43023